41. Basic logic; the fundamental principles of formal deductive reasoning
پدیدآورنده : / Raymond J. McCall.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق
رده :
BC
۱۰۸
/
م
۷
ب
۹ ۱۳۳۱
42. Between Logic and Reality
پدیدآورنده : / Majda Trobok, Nenad Miscevic, Berislav Zarnic, editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,Reality,منطق,واقعیت
رده :
BC199
.
R43
,
B48
2012
43. Beyond first order model theory
پدیدآورنده : \ edited by Jose Iovino.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی
رده :
QA9
.
7
.
I587
2017
E-book
,
44. Boethius on Mind, Grammar, and Logic
پدیدآورنده : / by Taki Suto
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Boethius, d. 524., Commentarii in librum Aristotelis Peri hermeneias,Aristotle,Language and languages -- Philosophy,Logic, Ancient,.بوئتیوس، - ۵۲۴ م,.ارسطو،۳۲۲ - ۳۸۴ ق.م,زبان -- فلسفه,منطق -- متون قدیمی تا قرن۱۴
رده :
B439
.
B643
,
S88
2012
45. Buddhist philosophy of language in India
پدیدآورنده : \ Lawrence J. McCrea and Parimal G. Patil.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : یانسری میترا. اپوهاپراکانا ,Buddhist logic.,Language and languages-- Philosophy.,Yogācāra (Buddhism),منطق بودایی,زبان -- فلسفه,یوگاکارا (بودا)
رده :
BC
25
.
M37
2010
E-Book
,
46. Classical Indian Philosophy of Induction
پدیدآورنده : \ Kisor Kumar Chakrabarti.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Nyaya,نیایا,a04,a04,Induction (Logic)-- India-- History.,استقرا (منطق) -- هند -- تاریخ
رده :
BC
91
.
C46C55
2010
E-Book
,
47. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
پدیدآورنده : \ Richard L. Epstein, Walter A. Carnielli
کتابخانه: (طهران)
موضوع : توابع محاسبه‌پذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
,.
59
.
E67
48. Computer Science Logic
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses,منطق کامپیوتری -- کنگره‌ها
رده :
E-Book
,
49. Conception And Belief In Sadr Al -Din Shirazi (Ca 1571-1635): Al - Risala Fil -Tasawwur Wa -L -Tasdiq
پدیدآورنده : / Introduction, Translation, And Commentary By Joep Lameer
کتابخانه: (طهران)
موضوع : تصور (فلسفه),تصدیق (منطق),Representation (Philosophy),Judjement (Logic),صدرالدین شیرازی، محمد ابراهیم، -۰۵۰۱ق.- نقد و تفسیر
رده :
BBR1070
.
L3C6
50. Conception and belief in Sadr al - Din Shirazi (ca 1571-1635)
پدیدآورنده : لام‍ی‍ر
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Sadraddin Shirazi,صدرالدین شیرازی,, Mohammad ebn Ebrahim,، محمدبن ابراهیم,، ۹۷۹ - ۱۰۵۰ق., -- Criticism and interpretation, -- نقد و تفسیر,a01,a01,ba,Representation (philosophy),Judgment (logic),Philosophy, Islamic,تصور (فلسفه),تصدیق (منطق),فلسفه اسلامی, -- Early works to 20th century, -- متون قدیمی تا قرن ۱۴,a04,a06,a08,a04,a06,a08
رده :
BBR1070
.
L32
C6
51. Concepts and fuzzy logic
پدیدآورنده : /edited by Radim Belohlavek and George J. Klir.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق فازی,مفهوم
رده :
QA
۹
/
۶۴
/
ک
۲ ۱۳۹۰
52. Conceptual Graphs and Fuzzy Logic
پدیدآورنده : \ Tru Hoang Cao.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fuzzy logic,منطق فازی,a05,a05,Fuzzy graphs.,Conceptual structures (Information theory),گراف‌های فازی ,ساختارهای مفهومی (نظریه اطلاعات)
رده :
QA
166
.
175
.
C32C6
2010
E-Book
,
53. Concise history of logic
پدیدآورنده : / Heinrich Scholz
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق--تاریخ,Logic -- History.
رده :
BC
۱۵
/
ش
۹
ک
۲ ۱۳۴۰
54. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
55. Critical Thinking
پدیدآورنده : / Jamie Carlin Watson and Robert Arp
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Reasoning,Critical thinking,Logic,استدلال,تفکر انتقادی,منطق
رده :
BC177
.
W3C5
2011
56. Critical thinking; an introduction to logic and scientific method
پدیدآورنده : /by Max Black .,ب‍ل‍ک,Black
موضوع : منطق,زبان
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
57. Critique de la Faculte de Juger : Suivi de Idee D'une Histoire Universelle Au Point de Vue Cosmopolitique et de Reponse a la Question : Qu'est-Ce Que les Iumieres ?
پدیدآورنده : / Emmanuel Kant
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Judgment (Logic),تصدیق (منطق )
رده :
B2773
.
K3C7
2011
58. Critique of the power of judgment
پدیدآورنده : / edited by Paul Guyer
کتابخانه: (طهران)
موضوع : Judgment (Logic) - Early works to 1800,Judgment (Aesthetics) - Early works to 1800,Aesthetics - Early works to 1800,Teleology - Early works to 1800,تصدیق ( منطق ) - متون قدیمی تا قرن ۴۱
رده :
B2783
.
E5G89
59. Deductive and Inductive Logic
پدیدآورنده : / edited by Asia Whitcomb
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,Logic, Modern - 21st century,منطق,.منطق جدید - قرن۲۱ م
رده :
BC75
.
D31
2010
60. Dependence Logic
پدیدآورنده : / Jouko Veaeaneanen
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : First-order logic,نخستین دستور منطق
رده :
BC128
.
V33
2007
